ASM: a code manipulation tool to implement adaptable systems

نویسندگان

  • Eric Bruneton
  • Romain Lenglet
  • Thierry Coupaye
چکیده

ASM is a Java class manipulation tool designed to dynamically generate and manipulate Java classes, which are useful techniques to implement adaptable systems. ASM is based on a new approach, compared to equivalent existing tools, which consists in using the "visitor" design pattern without explicitly representing the visited tree with objects. This new approach gives much better performances than those of existing tools, for most of practical needs. RÉSUMÉ. ASM est un outil de manipulation de classes Java conçu pour la génération et la manipulation dynamiques de code, qui sont des techniques très utiles pour la réalisation de systèmes adaptables. ASM est basé sur une approche originale, par rapport aux outils existants équivalents, qui consiste à utiliser le patron de conception « visiteur » sans représenter explicitement l’arborescence visitée sous forme d’objets. Cette nouvelle approche permet d’obtenir des performances bien supérieures à celles des outils existants, pour la plupart des besoins courants.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Using the ASM framework to implement common Java bytecode transformation patterns

Most AOP frameworks targeting the Java platform use a bytecode weaving approach as it is currently considered the most practical solution. It allows applying cross-cutting concerns to Java applications when source code is not available, is portable and works on existing JVMs, in comparison to VM-level AOP implementations. Load-time bytecode weaving (LTW), which happens right before the applicat...

متن کامل

The ASM Method for System Design and Analysis. A Tutorial Introduction

We introduce into and survey the ASM method for highlevel system design and analysis. We explain the three notions|Abstract State Machine [37], ASM ground model (system blueprint) [7] and ASM re nement [8]|that characterize the method, which integrates also current validation and veri cation techniques. We illustrate how the method allows the system engineer to rigorously capture requirements b...

متن کامل

The ASMETA framework

The use of formal methods, based on rigorous mathematical foundations, is essential for system development. However, some skepticism exists against formal methods mainly due to the lack of tools supporting formal development, or to the tools’ loosely coupling that does not allow reuse of information. The integration and interoperability of tools is hard to accomplish, so preventing formal metho...

متن کامل

Chapter 6 ASM

6.1 Overview of the ASM The Abstract State Machine (ASM) method is a systems engineering method that guides the development of software and embedded hardware-software systems seamlessly from requirements capture to their implementation. Within a single precise yet simple conceptual framework, the ASM method supports and uniformly integrates the major software life cycle activities of the develo...

متن کامل

A Tool for Verifying ASM Models Using Multiway Decision Graphs

In this paper we present a formal hardware verification tool linking ASM with MDG. ASM (Abstract State Machines) is a state based language for describing transition systems. MDG (Multiway Decision Graphs) provides symbolic representation of transition systems with support of abstract sorts and functions. We implemented a transformation tool that automatically generates MDG models from ASM speci...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002